@ARTICLE{TPFP,
  author={Hinsen, Konrad},
  journal={Computing in Science \& Engineering}, 
  title={The Promises of Functional Programming}, 
  year={2009},
  volume={11},
  number={4},
  pages={86-90},
  doi={10.1109/MCSE.2009.129}}

@article{CEAFPL,
title = {Conception, Evolution, and Application of Functional Programming Languages},
author = {Hudak, Paul},
year = {1989},
month = sep,
journal = {ACM Computing Surveys},
volume = {21},
number = {3},
pages = {359--411},
issn = {0360-0300, 1557-7341},
doi = {10.1145/72551.72554},
urldate = {2023-10-21},
abstract = {The foundations of functional programming languages are examined from both historical and technical perspectives. Their evolution is traced through several critical periods: early work on lambda calculus and combinatory calculus, Lisp, Iswim, FP, ML, and modern functional languages such as Miranda               1               and Haskell. The fundamental premises on which the functional programming methodology stands are critically analyzed with respect to philosophical, theoretical, and pragmatic concerns. Particular attention is paid to the main features that characterize modern functional languages: higher-order functions, lazy evaluation, equations and pattern matching, strong static typing and type inference, and data abstraction. In addition, current research areas\textemdash such as parallelism, nondeterminism, input/output, and state-oriented computations\textemdash are examined with the goal of predicting the future development and application of functional languages.},
langid = {english},
file = {C:\Users\86138\Zotero\storage\LHEPTQIH\Hudak - 1989 - Conception, evolution, and application of function.pdf}
}

@article{ATILC,
  title = {A {{Tutorial Introduction}} to the {{Lambda Calculus}}},
  author = {Rojas, Raul},
  year = {2015},
  month = mar,
  number = {arXiv:1503.09060},
  eprint = {1503.09060},
  primaryclass = {cs},
  publisher = {{arXiv}},
  urldate = {2023-10-21},
  abstract = {This paper is a concise and painless introduction to the \$\textbackslash lambda\$-calculus. This formalism was developed by Alonzo Church as a tool for studying the mathematical properties of effectively computable functions. The formalism became popular and has provided a strong theoretical foundation for the family of functional programming languages. This tutorial shows how to perform arithmetical and logical computations using the \$\textbackslash lambda\$-calculus and how to define recursive functions, even though \$\textbackslash lambda\$-calculus functions are unnamed and thus cannot refer explicitly to themselves.},
  archiveprefix = {arxiv},
  keywords = {Computer Science - Logic in Computer Science,F.4.1},
  file = {C\:\\Users\\86138\\Zotero\\storage\\9K2FPZZQ\\Rojas - 2015 - A Tutorial Introduction to the Lambda Calculus.pdf;C\:\\Users\\86138\\Zotero\\storage\\LPYH6SM9\\Rojas - 2015 - A Tutorial Introduction to the Lambda Calculus.pdf;C\:\\Users\\86138\\Zotero\\storage\\P2BNRELW\\1503.html}
}

@article{TFRFP,
  title={The Fall and Rise of Functional Programming},
  author={ Lins, R. D },
  year={2010},
}

@online{TTPL,
  title="{The Top Programming Languages 2023}",
  url="https://spectrum.ieee.org/the-top-programming-languages-2023",
  note="(2023年, 8月 29日)",
}

@online{2BFPLI,
  title="{22 BEST Functional Programming Languages In 2023}",
  url="https://www.softwaretestinghelp.com/functional-programming-languages/#:~:text=List%20of%20the%20Best%20Functional%20Programming%20Language%201,5%20%235%29%20Python%20...%206%20%236%29%20Elm%20",
  note="(2023年, 6月 24日)",
}

@article{RFSETCM,
  title = {Recursive Functions of Symbolic Expressions and Their Computation by Machine, {{Part I}}},
  author = {McCarthy, John},
  year = {1960},
  month = apr,
  journal = {Communications of the ACM},
  volume = {3},
  number = {4},
  pages = {184--195},
  issn = {0001-0782, 1557-7317},
  doi = {10.1145/367177.367199},
  urldate = {2023-10-23},
  langid = {english},
  file = {C:\Users\86138\Zotero\storage\YE2ZTPDT\McCarthy - 1960 - Recursive functions of symbolic expressions and th.pdf}
}

@article{IPLC,
  title = {(Interviews with Programming Language Creators)},
  author = {Taft, S Tucker},
  langid = {english},
  file = {C:\Users\86138\Zotero\storage\4K6FI4DQ\Taft - (interviews with programming language creators).pdf}
}

@article{HME,
title = "How ML evlolved",
author = "Robin Milner",
year = "1982",
language = "English",
volume = "1",
pages = "25--34",
journal = "ML/Hope/LCF Newsletter",
number = "1",
}

@book{TDSM,
  title={The Definition of Standard ML},
  author={ Milner, Robin  and  Harper, Robert  and  Macqueen, David  and  Tofte, Mads },
  publisher={The Definition of Standard ML},
  year={1997},
}

@inproceedings{AHHBLC,
  title = {A {{History}} of {{Haskell}}: Being Lazy with Class},
  booktitle = {The Third {{ACM SIGPLAN}} History of Programming Languages Conference ({{HOPL-III}})},
  author = {Peyton Jones, Simon},
  year = {2007},
  month = jun,
  edition = {The Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III)},
  abstract = {This long (55-page) paper describes the history of Haskell, including its genesis and principles, technical contributions, implementations and tools, and applications and impact. You might also be interested in Simon's POPL'03 talk: A retrospective on Haskell Watch below a video of the talk, the video starts a minute or so into the talk, but nothing important is missing.}
}

@article{SPT,
  title = {Scientific {{Programming}}: {{The Promises}} of {{Typed}}, {{Pure}}, and {{Lazy Functional Programming}}: {{Part II}}},
  shorttitle = {Scientific {{Programming}}},
  author = {Laufer, Konstantin and Thiruvathukal, George K.},
  year = {2009},
  month = sep,
  journal = {Computing in Science \& Engineering},
  volume = {11},
  number = {5},
  pages = {68--75},
  issn = {1521-9615},
  doi = {10.1109/MCSE.2009.147},
  urldate = {2023-10-21},
  langid = {english},
  file = {C:\Users\86138\Zotero\storage\EH668NJN\Laufer 和 Thiruvathukal - 2009 - Scientific Programming The Promises of Typed, Pur.pdf}
}

@inproceedings{WFPM,
  title={Why Functional Programming Matters.},
  author={ Hughes, John },
  booktitle={Fast Software Encryption, Cambridge Security Workshop},
  year={1993},
}

@article{ABOFPL,
  title = {A {{Brief Overview}} of {{Functional Programming Languages}}},
  author = {Kunasaikaran, Jagatheesan and Iqbal, Azlan},
  year = {2016},
  month = dec,
  journal = {electronic Journal of Computer Science and Information Technology},
  volume = {6},
  pages = {32},
  abstract = {Functional programming is an important programming paradigm. It is based on a branch of mathematics known as lambda calculus. In this article, we provide a brief overview, aimed at those new to the field, and explain the progress of functional programming since its inception. A selection of functional languages are provided as examples. We also suggest some improvements and speculate on the potential future directions of this paradigm. http://ejcsit.uniten.edu.my/index.php/ejcsit/article/view/97/39},
  file = {C:\Users\86138\Zotero\storage\KJ6926F7\Kunasaikaran 和 Iqbal - 2016 - A Brief Overview of Functional Programming Languag.pdf}
}